<?php
print;